منابع مشابه
Reliable Knowledge for Software Development
oftware engineering has reached a stage that more closely resembles quackery than engineering. Everyone extols the virtues of a particular procedure , style, technique, or set of rules that will tame the software monster and lead to an elusive promised land. Subjective opinions are often strongly held, vigorously advocated, and more prevalent than real objective data. Who has not heard claims t...
متن کاملReliable Software Development: Analysis-Aware Design
The application of formal methods in software development does not have to be an all-or-nothing proposition. Progress can be made with the introduction of relatively unobtrusive techniques that simplify analysis. This approach is meant replace traditional analysis-agnostic coding with an analysis-aware style of software development. Software verification efforts are often stumped by the complex...
متن کاملMOP: Reliable Software Development using Abstract Aspects
Monitoring-Oriented Programming (MOP) is a formal framework for software development and analysis. It aims at reducing the gap between formal specification and implementation via runtime monitoring. In MOP, the developer specifies desired properties using definable specification formalisms, along with code to execute when properties are violated or validated, which can be used not only to repor...
متن کاملReliable Software Development with Proposed Quality Oriented Software Testing Metrics
For an effective test measurement, a software tester requires a testing metrics that could measure the quality and productivity of software development process along with increasing its reusability, correctness and maintainability. Until now, the understanding of measuring software quality is not yet sophisticated enough and is still far away from being standardized and in order to assess the s...
متن کاملRelease of highly reliable and efficient software development technology for social infrastructure
Tokyo, February 12, 2013 Hitachi, Ltd. (TSE:6501, “Hitachi”) today announced the co-development of a technology to verify software specifications in highly efficient software development of reliable large-scale software in social infrastructure systems, together with the Swiss Federal Institute of Technology Zurich (“ETH”) and Hitachi India Pvt. Ltd. (“Hitachi India”). The technology developed ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nanoindustry Russia
سال: 2018
ISSN: 1993-8578
DOI: 10.22184/1993-8578.2018.82.167.168